Sonic: System Description
نویسندگان
چکیده
Sonic is the first prototype implementation of non-standard inferences for Description Logics that can be used via a graphical user interface. In addition to that our implementation extends an earlier implementation of the least common subsumer and of the approximation inference service to more expressive Description Logics, more precisely to Description Logics with number restrictions. Sonic offers these reasoning services via an extension of the graphical ontology editor OilEd [4].
منابع مشابه
Pushing the Sonic Border — Sonic 1.0
This paper reports on extensions of the Description Logics non-standard inference system Sonic. The recent contributions to the system are two-fold. Firstly, Sonic is extended by two new of non-standard inferences, namely, implementations of the good common subsumer w.r.t. a background terminology and a heuristics for computing a minimal rewriting. Secondly, Sonic is available as a plugin for t...
متن کاملMultiscaling nature of sonic velocities and lithology in the upper crystalline crust: evidence from the KTB Main Borehole
The observed scaling of sonic logs is generally described using a monofractal model (fractional Brownian motion with Hurst exponent typically between 0.1 and 0.2, or fractional Lévy motion); even though such a description recognizes the existence of the self-similarity of the logs, it offers only a limited account of the actual symmetry, as it misses the displayed heterogeneous fractality. Inte...
متن کاملA Centennial Review of Sub-sonic Transport Aircraft
From Wright Brothers 1903 to present day 2003, aeronautical technology has made a profound progress. This paper demonstrates the outcome of this progress in weight, wing area, and engine thrust in three categories of transport aircraft of short to long range, regional jets, and turbo-prop commuter aircraft. Also the paper includes those aircraft with distinct jump in aeronautical technology. Fe...
متن کاملAn Accurate Empirical Correlation to Estimate Sonic speed of Ionic Liquids
In recent years there has been a great deal of attention paid by researchers in investigating ionic liquids (ILs) mainly due to the tremendous potential that ionic liquids have in reaction and separation technology. Sonic speed is an important thermodynamic property of ionic liquids (ILs) and always chosen as a source to determine other properties. A database for the sonic speed of pure ILs cre...
متن کاملSonic - Non-standard Inferences Go OilEd
Sonic is the first prototype implementation of non-standard inferences for Description Logics usable via a graphical user interface. The contribution of our implementation is twofold: it extends an earlier implementation of the least common subsumer and of the approximation inference to number restrictions, and it offers these reasoning services via an extension of the graphical ontology editor...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004